<?xml version="1.0" encoding="ascii"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
          "DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
  <title>logic</title>
  <link rel="stylesheet" href="epydoc.css" type="text/css" />
  <script type="text/javascript" src="epydoc.js"></script>
</head>

<body bgcolor="white" text="black" link="blue" vlink="#204080"
      alink="#204080">
<h1 class="toc">Module logic</h1>
<hr />
  <h2 class="toc">Classes</h2>
    <a target="mainFrame" href="spade.logic.Expr-class.html"
     >Expr</a><br />    <a target="mainFrame" href="spade.logic.FolKB-class.html"
     >FolKB</a><br />    <a target="mainFrame" href="spade.logic.KB-class.html"
     >KB</a><br />    <a target="mainFrame" href="spade.logic.PropHornKB-class.html"
     >PropHornKB</a><br />    <a target="mainFrame" href="spade.logic.PropKB-class.html"
     >PropKB</a><br />    <a target="mainFrame" href="spade.logic.logicTest-class.html"
     >logicTest</a><br />  <h2 class="toc">Functions</h2>
    <a target="mainFrame" href="spade.logic-module.html#NaryExpr"
     >NaryExpr</a><br />    <a target="mainFrame" href="spade.logic-module.html#WalkSAT"
     >WalkSAT</a><br />    <a target="mainFrame" href="spade.logic-module.html#conjuncts"
     >conjuncts</a><br />    <a target="mainFrame" href="spade.logic-module.html#d"
     >d</a><br />    <a target="mainFrame" href="spade.logic-module.html#diff"
     >diff</a><br />    <a target="mainFrame" href="spade.logic-module.html#disjuncts"
     >disjuncts</a><br />    <a target="mainFrame" href="spade.logic-module.html#distribute_and_over_or"
     >distribute_and_over_or</a><br />    <a target="mainFrame" href="spade.logic-module.html#dpll"
     >dpll</a><br />    <a target="mainFrame" href="spade.logic-module.html#dpll_satisfiable"
     >dpll_satisfiable</a><br />    <a target="mainFrame" href="spade.logic-module.html#eliminate_implications"
     >eliminate_implications</a><br />    <a target="mainFrame" href="spade.logic-module.html#every"
     >every</a><br />    <a target="mainFrame" href="spade.logic-module.html#expr"
     >expr</a><br />    <a target="mainFrame" href="spade.logic-module.html#extend"
     >extend</a><br />    <a target="mainFrame" href="spade.logic-module.html#find_pure_symbol"
     >find_pure_symbol</a><br />    <a target="mainFrame" href="spade.logic-module.html#find_unit_clause"
     >find_unit_clause</a><br />    <a target="mainFrame" href="spade.logic-module.html#fol_bc_ask"
     >fol_bc_ask</a><br />    <a target="mainFrame" href="spade.logic-module.html#fol_fc_ask"
     >fol_fc_ask</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_definite_clause"
     >is_definite_clause</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_literal"
     >is_literal</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_negative"
     >is_negative</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_positive"
     >is_positive</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_prop_symbol"
     >is_prop_symbol</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_symbol"
     >is_symbol</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_var_symbol"
     >is_var_symbol</a><br />    <a target="mainFrame" href="spade.logic-module.html#is_variable"
     >is_variable</a><br />    <a target="mainFrame" href="spade.logic-module.html#isnumber"
     >isnumber</a><br />    <a target="mainFrame" href="spade.logic-module.html#issequence"
     >issequence</a><br />    <a target="mainFrame" href="spade.logic-module.html#literal_symbol"
     >literal_symbol</a><br />    <a target="mainFrame" href="spade.logic-module.html#literals"
     >literals</a><br />    <a target="mainFrame" href="spade.logic-module.html#move_not_inwards"
     >move_not_inwards</a><br />    <a target="mainFrame" href="spade.logic-module.html#num_or_str"
     >num_or_str</a><br />    <a target="mainFrame" href="spade.logic-module.html#occur_check"
     >occur_check</a><br />    <a target="mainFrame" href="spade.logic-module.html#pl_fc_entails"
     >pl_fc_entails</a><br />    <a target="mainFrame" href="spade.logic-module.html#pl_resolution"
     >pl_resolution</a><br />    <a target="mainFrame" href="spade.logic-module.html#pl_resolve"
     >pl_resolve</a><br />    <a target="mainFrame" href="spade.logic-module.html#pl_true"
     >pl_true</a><br />    <a target="mainFrame" href="spade.logic-module.html#pp"
     >pp</a><br />    <a target="mainFrame" href="spade.logic-module.html#ppdict"
     >ppdict</a><br />    <a target="mainFrame" href="spade.logic-module.html#ppset"
     >ppset</a><br />    <a target="mainFrame" href="spade.logic-module.html#ppsubst"
     >ppsubst</a><br />    <a target="mainFrame" href="spade.logic-module.html#pretty"
     >pretty</a><br />    <a target="mainFrame" href="spade.logic-module.html#pretty_dict"
     >pretty_dict</a><br />    <a target="mainFrame" href="spade.logic-module.html#pretty_set"
     >pretty_set</a><br />    <a target="mainFrame" href="spade.logic-module.html#prop_symbols"
     >prop_symbols</a><br />    <a target="mainFrame" href="spade.logic-module.html#simp"
     >simp</a><br />    <a target="mainFrame" href="spade.logic-module.html#standardize_apart"
     >standardize_apart</a><br />    <a target="mainFrame" href="spade.logic-module.html#subst"
     >subst</a><br />    <a target="mainFrame" href="spade.logic-module.html#subst_compose"
     >subst_compose</a><br />    <a target="mainFrame" href="spade.logic-module.html#test_ask"
     >test_ask</a><br />    <a target="mainFrame" href="spade.logic-module.html#to_cnf"
     >to_cnf</a><br />    <a target="mainFrame" href="spade.logic-module.html#tt_check_all"
     >tt_check_all</a><br />    <a target="mainFrame" href="spade.logic-module.html#tt_entails"
     >tt_entails</a><br />    <a target="mainFrame" href="spade.logic-module.html#tt_true"
     >tt_true</a><br />    <a target="mainFrame" href="spade.logic-module.html#unify"
     >unify</a><br />    <a target="mainFrame" href="spade.logic-module.html#unify_var"
     >unify_var</a><br />    <a target="mainFrame" href="spade.logic-module.html#update_position"
     >update_position</a><br />    <a target="mainFrame" href="spade.logic-module.html#variables"
     >variables</a><br />  <h2 class="toc">Variables</h2>
    <a target="mainFrame" href="spade.logic-module.html#A"
     >A</a><br />    <a target="mainFrame" href="spade.logic-module.html#B"
     >B</a><br />    <a target="mainFrame" href="spade.logic-module.html#C"
     >C</a><br />    <a target="mainFrame" href="spade.logic-module.html#F"
     >F</a><br />    <a target="mainFrame" href="spade.logic-module.html#FALSE"
     >FALSE</a><br />    <a target="mainFrame" href="spade.logic-module.html#G"
     >G</a><br />    <a target="mainFrame" href="spade.logic-module.html#ONE"
     >ONE</a><br />    <a target="mainFrame" href="spade.logic-module.html#P"
     >P</a><br />    <a target="mainFrame" href="spade.logic-module.html#Q"
     >Q</a><br />    <a target="mainFrame" href="spade.logic-module.html#TRUE"
     >TRUE</a><br />    <a target="mainFrame" href="spade.logic-module.html#TWO"
     >TWO</a><br />    <a target="mainFrame" href="spade.logic-module.html#ZERO"
     >ZERO</a><br />  <div class="private">
    <a target="mainFrame" href="spade.logic-module.html#_NaryExprTable"
     >_NaryExprTable</a><br />  </div>
    <a target="mainFrame" href="spade.logic-module.html#__package__"
     >__package__</a><br />    <a target="mainFrame" href="spade.logic-module.html#test_kb"
     >test_kb</a><br />    <a target="mainFrame" href="spade.logic-module.html#x"
     >x</a><br />    <a target="mainFrame" href="spade.logic-module.html#y"
     >y</a><br />    <a target="mainFrame" href="spade.logic-module.html#z"
     >z</a><br /><hr />
<span class="options">[<a href="javascript:void(0);" class="privatelink"
    onclick="toggle_private();">hide&nbsp;private</a>]</span>

<script type="text/javascript">
  <!--
  // Private objects are initially displayed (because if
  // javascript is turned off then we want them to be
  // visible); but by default, we want to hide them.  So hide
  // them unless we have a cookie that says to show them.
  checkCookie();
  // -->
</script>
</body>
</html>
